import random
out_file = open("THUCNews/data/dev.txt", 'w', encoding='utf-8')
lines = []
with open("./THUCNews/data/dev.txt", 'r',encoding='utf-8') as origin_file:
	for line in origin_file:
		lines.append(line)
random.shuffle(lines)

for line in lines:
	out_file.write(line)
	
origin_file.close()
out_file.close()